Rod G. Downey: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Algorithmic randomness

Downey, Rod, Hirschfeldt, Denis R.

Journal:

Communications of the ACM

Year:

2019

Language:

english

File:

PDF, 8.50 MB

english, 2019

2

Automorphisms of the Lattice of Recursively Enumerable Sets: Promptly Simple Sets

Peter Cholak, Rod Downey and Michael Stob

Journal:

Transactions of the American Mathematical Society

Year:

1992

Language:

english

File:

PDF, 1.65 MB

english, 1992

3

FOUNDATIONS OF ONLINE STRUCTURE THEORY

BAZHENOV, NIKOLAY, DOWNEY, ROD, KALIMULLIN, ISKANDER, MELNIKOV, ALEXANDER

Journal:

Bulletin of Symbolic Logic

Year:

2019

File:

PDF, 409 KB

2019

4

Turing's Legacy (Developments from Turing's Ideas in Logic) || Computability and analysis: the legacy of Alan Turing

Year:

2014

Language:

english

File:

PDF, 430 KB

english, 2014

5

Computably Enumerable Reals and Uniformly Presentable Ideals

Rod Downey, Sebastiaan A. Terwijn

Journal:

Mathematical Logic Quarterly

Year:

2002

Language:

english

File:

PDF, 215 KB

english, 2002

6

Friedberg splittings of recursively enumerable sets

Rod Downey, Michael Stob

Journal:

Annals of Pure and Applied Logic

Year:

1993

Language:

english

File:

PDF, 1.66 MB

english, 1993

7

Fixed-parameter tractability and completeness II: On completeness for W[1]

Rod G. Downey, Michael R. Fellows

Journal:

Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 1.41 MB

english, 1995

8

Strong jump-traceability I: The computably enumerable case

Peter Cholak, Rod Downey, Noam Greenberg

Journal:

Advances in Mathematics

Year:

2008

Language:

english

File:

PDF, 302 KB

english, 2008

9

The isomorphism problem for torsion-free Abelian groups is analytic complete

Rod Downey, Antonio Montalbán

Journal:

Journal of Algebra

Year:

2008

Language:

english

File:

PDF, 140 KB

english, 2008

10

Trivial Reals

Rod G. Downey, Denis R. Hirschfeldt, André Nies, Frank Stephan

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 223 KB

english, 2002

11

On computational complexity and honest polynomial degrees

Journal:

Theoretical Computer Science

Year:

1991

Language:

english

File:

PDF, 784 KB

english, 1991

12

On Initial Segments of Computable Linear Orders

Richard J. Coles, Rod Downey, Bakhadyr Khoussainov

Journal:

Year:

1997

Language:

english

File:

PDF, 213 KB

english, 1997

13

Strong jump-traceability II:K-triviality

Rod Downey, Noam Greenberg

Journal:

Israel Journal of Mathematics

Year:

2012

Language:

english

File:

PDF, 234 KB

english, 2012

14

Pseudo-jump inversion, upper cone avoidance, and strong jump-traceability

Downey, Rod, Greenberg, Noam

Journal:

Advances in Mathematics

Year:

2013

Language:

english

File:

PDF, 381 KB

english, 2013

15

RELATIVIZING CHAITIN'S HALTING PROBABILITY

DOWNEY, ROD, HIRSCHFELDT, DENIS R., MILLER, JOSEPH S., NIES, ANDRÉ

Journal:

Journal of Mathematical Logic

Year:

2005

Language:

english

File:

PDF, 369 KB

english, 2005

16

Permutations and Presentations

Peter Cholak and Rod Downey

Journal:

Proceedings of the American Mathematical Society

Year:

1994

Language:

english

File:

PDF, 333 KB

english, 1994

17

TOTALLY ω-COMPUTABLY ENUMERABLE DEGREES AND BOUNDING CRITICAL TRIPLES

DOWNEY, ROD, GREENBERG, NOAM, WEBER, REBECCA

Journal:

Journal of Mathematical Logic

Year:

2007

Language:

english

File:

PDF, 391 KB

english, 2007

18

Calibrating Randomness

Downey, Rod, Hirschfeldt, Denis R., Nies, André, Terwijn, Sebastiaan A.

Journal:

Bulletin of Symbolic Logic

Year:

2006

Language:

english

File:

PDF, 743 KB

english, 2006

19

ON THE COMPLEXITY OF THE SUCCESSIVITY RELATION IN COMPUTABLE LINEAR ORDERINGS

DOWNEY, ROD, LEMPP, STEFFEN, WU, GUOHUA

Journal:

Journal of Mathematical Logic

Year:

2010

Language:

english

File:

PDF, 217 KB

english, 2010

20

INVARIANCE AND NONINVARIANCE IN THE LATTICE OF $\Pi_1^0$ CLASSES

CHOLAK, PETER A., DOWNEY, ROD

Journal:

Journal of the London Mathematical Society

Year:

2004

Language:

english

File:

PDF, 200 KB

english, 2004

21

Working with strong reducibilities above totally $\omega $-c.e. and array computable degrees

Barmpalias, George, Downey, Rod, Greenberg, Noam

Journal:

Transactions of the American Mathematical Society

Year:

2009

Language:

english

File:

PDF, 460 KB

english, 2009

22

Extensions of embeddings below computably enumerable degrees

Downey, Rod, Greenberg, Noam, Lewis, Andrew, Montalbán, Antonio

Journal:

Transactions of the American Mathematical Society

Year:

2012

Language:

english

File:

PDF, 543 KB

english, 2012

23

Integer valued betting strategies and Turing degrees

Barmpalias, George, Downey, Rod G., McInerney, Michael

Journal:

Journal of Computer and System Sciences

Year:

2015

Language:

english

File:

PDF, 850 KB

english, 2015

24

Every Low Boolean Algebra is Isomorphic to a Recursive One

Rod Downey and Carl G. Jockusch

Journal:

Proceedings of the American Mathematical Society

Year:

1994

Language:

english

File:

PDF, 288 KB

english, 1994

25

Calibrating Randomness

Rod Downey, Denis R. Hirschfeldt, André Nies and Sebastiaan A. Terwijn

Journal:

Bulletin of Symbolic Logic

Year:

2006

Language:

english

File:

PDF, 9.23 MB

english, 2006

26

Every low Boolean algebra is isomorphic to a recursive one

Downey, Rod, Jockusch, Carl G.

Journal:

Proceedings of the American Mathematical Society

Year:

1994

Language:

english

File:

PDF, 1.14 MB

english, 1994

27

Automorphisms of the Lattice of Π01Classes; Perfect Thin Classes and ANC Degrees

Peter Cholak, Richard Coles, Rod Downey and Eberhard Herrmann

Journal:

Transactions of the American Mathematical Society

Year:

2001

Language:

english

File:

PDF, 2.97 MB

english, 2001

28

A HIERARCHY OF COMPUTABLY ENUMERABLE DEGREES

DOWNEY, ROD, GREENBERG, NOAM

Journal:

Bulletin of Symbolic Logic

Year:

2018

Language:

english

File:

PDF, 381 KB

english, 2018

29

Turing's Legacy (Developments from Turing's Ideas in Logic) || Alan Turing and the other theory of computation (expanded)

Year:

2014

Language:

english

File:

PDF, 693 KB

english, 2014

30

On Genericity and Ershov's Hierarchy

Amy Gale, Rod Downey

Journal:

Mathematical Logic Quarterly

Year:

2001

Language:

english

File:

PDF, 281 KB

english, 2001

31

ON A QUESTION OF A. RETZLAFF

Journal:

Mathematical Logic Quarterly

Year:

1983

Language:

english

File:

PDF, 328 KB

english, 1983

32

A Contiguous Nonbranching Degree

Journal:

Mathematical Logic Quarterly

Year:

1989

Language:

english

File:

PDF, 595 KB

english, 1989

33

Jumps of Hemimaximal Sets

Rod Downey, Mike Stob

Journal:

Mathematical Logic Quarterly

Year:

1991

Language:

english

File:

PDF, 457 KB

english, 1991

34

On the Universal Splitting Property

Journal:

Mathematical Logic Quarterly

Year:

1997

Language:

english

File:

PDF, 606 KB

english, 1997

35

Degrees of d. c. e. reals

Rod Downey, Guohua Wu, Xizhong Zheng

Journal:

Mathematical Logic Quarterly

Year:

2004

Language:

english

File:

PDF, 149 KB

english, 2004

36

On Schnorr and computable randomness, martingales, and machines

Rod Downey, Evan Griffiths, Geoffrey Laforte

Journal:

Mathematical Logic Quarterly

Year:

2004

Language:

english

File:

PDF, 269 KB

english, 2004

37

Undecidability Results for Low Complexity Time Classes

Rod Downey, André Nies

Journal:

Journal of Computer and System Sciences

Year:

2000

Language:

english

File:

PDF, 165 KB

english, 2000

38

Nondiamond theorems for polynomial time reducibility

Journal:

Journal of Computer and System Sciences

Year:

1992

Language:

english

File:

PDF, 694 KB

english, 1992

39

Correction to “undecidability of L(F∞) and other lattices of r.e. substructures”

Journal:

Annals of Pure and Applied Logic

Year:

1990

Language:

english

File:

PDF, 162 KB

english, 1990

40

Lattice nonembeddings and initial segments of the recursively enumerable degrees

Journal:

Annals of Pure and Applied Logic

Year:

1990

Language:

english

File:

PDF, 1.60 MB

english, 1990

41

Tabular degrees in Ga-recursion theory

Colin Bailey, Rod Downey

Journal:

Annals of Pure and Applied Logic

Year:

1992

Language:

english

File:

PDF, 1.85 MB

english, 1992

42

On co-simple isols and their intersection types

Rod Downey, Theodore A. Slaman

Journal:

Annals of Pure and Applied Logic

Year:

1992

Language:

english

File:

PDF, 1.14 MB

english, 1992

43

Every recursive boolean algebra is isomorphic to one with incomplete atoms

Journal:

Annals of Pure and Applied Logic

Year:

1993

Language:

english

File:

PDF, 928 KB

english, 1993

44

Lattice nonembeddings and intervals of the recursively enumerable degrees

Peter Cholak, Rod Downey

Journal:

Annals of Pure and Applied Logic

Year:

1993

Language:

english

File:

PDF, 2.02 MB

english, 1993

45

Splitting theorems in recursion theory

Rod Downey, Michael Stob

Journal:

Annals of Pure and Applied Logic

Year:

1993

Language:

english

File:

PDF, 7.08 MB

english, 1993

46

The structure of the honest polynomial m-degrees

Rod Downey, William Gasarch, Michael Moses

Journal:

Annals of Pure and Applied Logic

Year:

1994

Language:

english

File:

PDF, 1.82 MB

english, 1994

47

There is no fat orbit

Rod Downey, Leo Harrington

Journal:

Annals of Pure and Applied Logic

Year:

1996

Language:

english

File:

PDF, 1.07 MB

english, 1996

48

Foreword

Rod Downey, Rob Goldblatt

Journal:

Annals of Pure and Applied Logic

Year:

2006

Language:

english

File:

PDF, 80 KB

english, 2006

49

The upward closure of a perfect thin class

Rod Downey, Noam Greenberg, Joseph S. Miller

Journal:

Annals of Pure and Applied Logic

Year:

2008

Language:

english

File:

PDF, 520 KB

english, 2008

50

Bounded fixed-parameter tractability and reducibility

Rod Downey, Jörg Flum, Martin Grohe, Mark Weyer

Journal:

Annals of Pure and Applied Logic

Year:

2007

Language:

english

File:

PDF, 386 KB

english, 2007

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски